Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
321	CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type
322	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
323	Written Examination, De ember 20th, 2011 Course noThe duration of the examination is 2 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 4 problems whi h ar Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2011-12-16 04:16:36 Higher-order functions Programming language comparisons Map Functional languages Procedural programming languages
324	Static Detection of Race Conditions in Erlang Maria Christakis1 and Konstantinos Sagonas1,2 1 2 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-11-02 13:24:28 Concurrent programming languages Erlang Functional languages Inter-process communication Ericsson Open Telecom Platform Mnesia Concurrent computing Scala Pattern matching Go Functional programming
325	Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 07:47:48 Functional languages Markup languages Text editors Transformation languages Formal languages Lisp Emacs Scheme XML transformation language XSLT Abstract syntax tree Comment
326	Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2 Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Control flow Functional languages Abstract data types Continuations Software design patterns OCaml Delimited continuation Concurrent computing Thread Monad Queue Monitor
327	Constraint Grammar Work L445 / L545 / B659 Spring 2016 Main documentation Other than the Karlssonpaper to introduce the constraint grammar Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-03-01 15:16:15 Markup languages Technical communication HTML Standard Generalized Markup Language Constraint Grammar HTML element Tag Functional theories of grammar SCRIPT
328	Experimental Evaluation of Query Processing Techniques ∗ over Multiversion XML Documents Adam Woss Vassilis J. Tsotras Add to Reading List Source URL: webdb09.cse.buffalo.edu Language: English - Date: 2009-06-24 13:24:16 Query languages Functional languages Markup languages XML databases XML tree XQuery XPath EXist Database
329	Contents 1 Language Matters Add to Reading List Source URL: www.supadu.com Language: English - Date: 2015-03-10 07:51:10 Systemic functional linguistics Linguistics Languages of the United States Fusional languages Intonation Prosody Language Topic and comment Stress English language Sentence
330	J. Linguisticsdoi:S0022226706254586 f 2007 Cambridge University Press Frederick J. Newmeyer, Possible and probable languages : a generative perspective on linguistic typology. Oxford : Oxford Universi Add to Reading List Source URL: linguistics.buffalo.edu Language: English - Date: 2008-04-23 19:06:20 Generative linguistics Linguistics Cognitive science Grammar Linguistic typology Frederick Newmeyer Functional theories of grammar Syntax Branching Universal grammar Linguistic competence Functionalism

UPDATE